• Article  

      Automated implementation of complex distributed algorithms specified in the IOA language 

      Georgiou, Chryssis; Lynch, N.; Mavrommatis, Panayiotis; Tauber, J. A. (2009)
      IOA is a formal language for describing Input/Output automata that serves both as a formal specification language and as a programming language (Garland et al. in http://theory.lcs.mit.edu/tds/ioa/manual.ps, 2004). The IOA ...
    • Conference Object  

      Automatic code generation: A practical approach 

      Papadopoulos, George Angelos (2008)
      This work contributes in bridging the gap between software design and implementation of component-based systems using software architectures at the modelling/design level and the coordination paradigm at the implementation ...
    • Article  

      An automation component for cross-platform, context-aware applications development 

      Achilleos, Achilleas P.; Thoma, Marita; Kapitsaki, Georgia M.; Mettouris, Christos; Papadopoulos, George Angelos (2015)
      Context-aware computing faces many challenges mainly due to the increasing number and heterogeneity of context sources, since the Internet of Things introduces billions of devices. The development of context-aware applications ...